Existence Of A Rigid Designator.